Distributed Path Computation without Transient Loops: An Intermediate Variables Approach

Paths with loops, even transient ones, pose significant stability problems in networks. As a result, much effort has been devoted over the past thirty years to designing distributed algorithms capable of avoiding loops. We present a new algorithm, Distributed path computation with Intermediate Variables (DIV), that guarantees that no loops, transient or steady-state, can ever form. DIV’s novelty is in that it is not restricted to shortest paths, can easily handle arbitrary sequences of changes and updates, and provably outperforms earlier approaches in several key metrics. In addition, when used with distance-vector style path computation algorithms, DIV also prevents counting-to-infinity; hence further improving convergence. The paper introduces DIV and its key properties. Simulation quantifying its performance gains are also presented

Linkage analysis in a large kindred with autosomal dominant transmission of polyglandular autoimmune disease type II (Schmidt syndrome)

Schmidt syndrome (PGA syndrome type II) is a rare condition characterized by polyglandular failure. It is an autosomal dominant trait with variable expressivity that was inherited over four generations in an Indiana kindred. Association of HLA-B8 has been reported with Schmidt syndrome. Our proband is a 12-year-old boy with Addison disease, insulin dependent diabetes mellitus (IDDM), and vitiligo. Two of his eight sibs had either IDDM (sister) or vitiligo and hyperthyroidism (brother). His mother had hypothyroidism. Seven members of earlier generations apparently were also affected. We obtained peripheral blood for HLA and genetic analysis from 21 relatives in a family with 8 Schmidt syndrome individuals in three generations. HLA studies on 15 affected and unaffected relatives showed only 2 of 7 persons with B8-containing haplotypes. Therefore, no association exists between the B8-containing haplotype and the syndrome. We identified informative marker loci. No evidence for linkage of the Schmidt locus to any of the 14 markers was found and close linkage to esterase D and adenylate kinase and possibly properdin factor B was excluded

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

A 1-Year Prospective French Nationwide Study of Emergency Hospital Admissions in Children and Adults with Primary Immunodeficiency.

PURPOSE: Patients with primary immunodeficiency (PID) are at risk of serious complications. However, data on the incidence and causes of emergency hospital admissions are scarce. The primary objective of the present study was to describe emergency hospital admissions among patients with PID, with a view to identifying "at-risk" patient profiles. METHODS: We performed a prospective observational 12-month multicenter study in France via the CEREDIH network of regional PID reference centers from November 2010 to October 2011. All patients with PIDs requiring emergency hospital admission were included. RESULTS: A total of 200 admissions concerned 137 patients (73 adults and 64 children, 53% of whom had antibody deficiencies). Thirty admissions were reported for 16 hematopoietic stem cell transplantation recipients. When considering the 170 admissions of non-transplant patients, 149 (85%) were related to acute infections (respiratory tract infections and gastrointestinal tract infections in 72 (36%) and 34 (17%) of cases, respectively). Seventy-seven percent of the admissions occurred during winter or spring (December to May). The in-hospital mortality rate was 8.8% (12 patients); death was related to a severe infection in 11 cases (8%) and Epstein-Barr virus-induced lymphoma in 1 case. Patients with a central venous catheter (n = 19, 13.9%) were significantly more hospitalized for an infection (94.7%) than for a non-infectious reason (5.3%) (p = 0.04). CONCLUSION: Our data showed that the annual incidence of emergency hospital admission among patients with PID is 3.4%. The leading cause of emergency hospital admission was an acute infection, and having a central venous catheter was associated with a significantly greater risk of admission for an infectious episode

Search for leptophobic Z ' bosons decaying into four-lepton final states in proton-proton collisions at root s=8 TeV

Peer reviewe

Searches for invisible decays of the Higgs boson in pp collisions at root S=7, 8, and 13 TeV

Peer reviewe

Search for high-mass diphoton resonances in proton-proton collisions at 13 TeV and combination with 8 TeV search

Peer reviewe

Search for heavy resonances decaying into a vector boson and a Higgs boson in final states with charged leptons, neutrinos, and b quarks

Peer reviewe

Search for black holes and other new phenomena in high-multiplicity final states in proton-proton collisions at root s=13 TeV

Peer reviewe